Inhalt des Dokuments

Abgeschlossene Arbeiten

Formalization of Session Types with Optional Blocks in Isabelle/HOL

Donnerstag, 31. Mai 2018

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Dr. Kammüller, Middlesex Univ., London

Rockel, Jessika

---